141. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
142. Implementations of Logic Programming Systems
پدیدآورنده : edited by Evan Tick, Giancarlo Succi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming.
رده :
QA76
.
63
E358
1994
143. Implementations of logic programming systems
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming
رده :
QA
76
.
63
.
I48
1994
144. Inductive Logic Programming
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic programming -- Congresses,Induction (Logic) -- Congresses,برنامهنویسی منطقی -- کنگرهها,استقرا (منطق) -- کنگرهها
رده :
E-Book
,
145. Inductive Logic Programming
پدیدآورنده : \ Jesse Davis, Jan Ramon (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic programming,برنامهنویسی منطقی, -- Congresses, -- کنگرهها,a03,a03,Induction (Logic) -- Congresses.,Machine learning -- Congresses.,استقرا (منطق) -- کنگره ها,فراگیری ماشینی -- کنگره ها
رده :
QA
76
.
63
.
I57
2015
E-Book
,
146. Inductive Logic Programming :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming ; Congresses. ;
147. Inductive logic programming
پدیدآورنده : / Luc De Raedt (Ed.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic programming, Congresses,Computer logic, Congresses
رده :
QA76
.
63
.
I47
2010
148. Inductive logic programming :
پدیدآورنده : Nada Lavrač and Sašo Džeroski
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming
رده :
QA76
.
63
.
L38
1994
149. Inductive logic programming
پدیدآورنده : Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence,Logic programming,Machine learning
رده :
QA76
.
63
I52
2012eb
150. Inductive logic programming
پدیدآورنده : Fabrizio Riguzzi, Filip Železný (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Induction (Logic), Congresses,Logic programming, Congresses,Machine learning, Congresses
رده :
QA76
.
63
.
I47
2012
151. Inductive logic programming
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming ; Congresses. ;
152. Inductive logic programming :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming ; Congresses ;
153. Inductive logic programming :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming ; Congresses. ;
154. Inductive logic programming :
پدیدآورنده : Francesco Bergadano and Daniele Gunetti
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming
رده :
QA76
.
63
.
B47
1996
155. Inductive logic programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005; proceedings
پدیدآورنده : Stefan Kramer, Bernhard Pfahringer )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic hypothesis formation,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3625
156. Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 2000 : proceedings
پدیدآورنده : James Cussens, Alan Frisch )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1866
157. Inductive logic programming : 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
پدیدآورنده : David Page, )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1446
158. Inductive logic programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings
پدیدآورنده : Rui Camacho, Ross King, Ashwin Srinivasan )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3194
159. Inductive logic programming :11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings
پدیدآورنده : Celine Rouveirol, Michele Sebag )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2157
160. Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 1999 : proceedings
پدیدآورنده : Saso Dzeroski, Peter Flach )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Induction )Logic(
رده :
QA
76
.
L28
Vol
.
1634